#include <stdio.h>
#include <stdint.h>

int main(void) {
    while (1) {
        int words = 0;
        int eof;
        // A bitmap for letters
        uint32_t bitmap = 0;
        int count = 0;
        while (1) {
            // read in a word
            char word[200];
            eof = scanf("%s", word) == EOF;
            if (eof) {
                if (bitmap == 0) {
                    // sentence but no words, just exit
                    return 0;
                }
                // Just terminate this sentence
                break;
            }
            if (words >= 0) {
                words++;
                char* readin_word = word;
                while (*readin_word != '\0') {
                    // Convert letters
                    if (*readin_word >= 'A' && *readin_word <= 'Z') {
                        *readin_word += 'a' - 'A';
                    }
                    int item = 1 << (*readin_word - 'a');
                    if ((bitmap & item) == 0) {
                        bitmap |= item;
                        if (++count > 10) {
                            words = -1;
                            break;
                        }
                    }
                    readin_word++;
                }
                if (bitmap == 0) {
                    // word but no character, just exit
                    return 0;
                }
            }
            // read in a eof or space or newline
            char whitespace[2];
            eof = eof ? eof : scanf("%1[ \n]", whitespace) == EOF;
            if  (whitespace[0] == '\n' || eof) {
                bitmap = 0;
                break;
            }
        }
        printf(words <= 10 && words >= 0 ? "Yes\n" : "No\n");
        if (eof) {
            break;
        }
    }
    return 0;
}
